Cognitive Agent Programming Semantics and Logics
نویسندگان
چکیده
This is a summary of the thesis entitled “Cognitive Agent Programming: Semantics and Logics”.
منابع مشابه
Agent Logics as Program Logics: Grounding KARO
Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or use a model checking approach. In this paper, an alternative approach is explored based on the view that an agent logic is a program logic. Using the same starting point, one of the established agent logics, we ask instead if it ...
متن کاملCommunicating Rational Agents: Semantics and Verification
We present a computational semantics of communicative actions for rational agent programming languages. Three indicators are used to differentiate declarative, interrogative and imperative messages which replace the usual labels to identify socalled speech acts. We introduce a multi-agent verification logic based on the computational semantics that facilitates reasoning about communicative acti...
متن کاملA verification framework for agent programming with declarative goals
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have hardly incorporated the concept of a declarative goal. Instead, such frameworks ha...
متن کاملLogic for Two: The Semantics of Distributive Substructural Logics
This is an account of the semantics of a family of logics whose paradigm member is the relevant logic R of Anderson and Belnap. The formal semantic theory is well worn, having been discussed in the literature of such logics for over a quarter of a century. What is new here is the explication of that formal machinery in a way intended to make sense of it for those who have claimed it to be esote...
متن کاملMultimodal logic programming
We give a framework for developing the least model semantics, fixpoint semantics, and SLD-resolution calculi for logic programs in multimodal logics whose frame restrictions consist of the conditions of seriality (i.e. ∀x ∃y Ri(x, y)) and some classical first-order Horn formulas. Our approach is direct and no special restriction on occurrences of 2i and 3i is required. We apply our framework fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005